search

nitlang / nit

Nit language
http://nitlanguage.org
Apache License 2.0
242 stars 67 forks source link

Set-theoric types #2412

Open jcbrinfo opened 7 years ago

jcbrinfo commented 7 years ago

Implement following type operations:

Related PRs:

jcbrinfo commented 7 years ago

Algorithm 7.1 of Frisch's thesis on ℂDuce, in Nit: https://gist.github.com/jcbrinfo/57568716697d45121828354de250bc4a