search

latte-central / LaTTe

LaTTe : a Laboratory for Type Theory experiments (in clojure)
http://latte-central.github.io/LaTTe/
MIT License
256 stars 13 forks source link

Fix & extend simple_types.clj #17

Closed Bost closed 7 years ago

Bost commented 7 years ago

Please take a critical look at my work. I have only tested it correct, not proved it :)

fredokun commented 7 years ago

Thx for the fix. I'm using the example embedded tests most of the time, but now that the kernel is somewhat stable, more traditional tests would be good (especially since I will soon begin the extraction of the kernel and make it cljs-friendly).

Bost commented 7 years ago

more traditional tests would be good

Point me to some good examples please so I see all the details, like e.g. your style of writing them & such. Merci.