GitHub/gf-core
1
0 Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-10-23 16:13:11 -06:00
Code Issues Packages Projects Releases Wiki Activity

Transfer TODO: added (A,B : Type) argument types.

Browse Source
This commit is contained in:
bringert committed 2006-03-20 14:03:34 +00:00
1 parent 19af3254dc
commit 2371a1fcca
1 file changed
+2 -2
Download Patch File Download Diff File Expand all files Collapse all files
transfer/TODO
+2 -2
View File
@@ -4,13 +4,13 @@
- show generation
- eq generation
- ord generation
- better module system
- Negated patterns?
- Patterns with guards
- Simplify taking many arguments of the same type: f : (A,B : Type) -> ...
* Improve interpreter