search

jameshaydon / lawvere

A categorical programming language with effects
MIT License
267 stars 5 forks source link

Literate scripts report wrong line numbers #6

Open jameshaydon opened 3 years ago

jameshaydon commented 3 years ago

Since all lines that aren't Lawvere code are deleted.