Fix comment.
This commit is contained in:
parent
b7fea6be5a
commit
3e9b527bd0
|
@ -18,7 +18,7 @@
|
|||
(b:init) (n:init)
|
||||
(define-namespace-anchor anch)
|
||||
|
||||
todo: exact numbers
|
||||
;; TODO exact numbers
|
||||
|
||||
(define-language tr-arith ; to stay within floats, removed some numeric ops
|
||||
[n real]
|
||||
|
|
Loading…
Reference in New Issue
Block a user