Commit 15e9fd32 authored by Florian Rabe's avatar Florian Rabe

no message

parent 76760b27
......@@ -20,10 +20,10 @@ theory Convenient =
theory Python : ?Convenient =
// types❙
python_type : type ❙
str : python_type❙
int : python_type❙
float : python_type❙
bool : python_type❙
Str : python_type❙
Int : python_type❙
Float : python_type❙
Bool : python_type❙
Tuple : python_type❙
List : python_type❙
Dict : python_type❙
......@@ -39,6 +39,8 @@ theory Python : ?Convenient =
list : python_obj❙
// dict takes arguments of the form tuple(key,value) ❙
dict : python_obj❙
// dot takes a and a string f and returns a.f❙
dot : python_obj❙
none : python_obj❙
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment