ucsd-progsys/elsa issues and pull requests

#21 - Add WebAssembly option

Pull Request - State: open - Opened by edykim 4 months ago

#20 - Update to ghc 9.4.7

Pull Request - State: closed - Opened by cole-k 12 months ago

#19 - Add link to updated VS Code extension

Pull Request - State: closed - Opened by lkuper over 1 year ago - 1 comment

#18 - Updated VS Code extension for Elsa

Issue - State: closed - Opened by lkuper over 1 year ago - 2 comments

#17 - Update to use GHC 8.10.7

Pull Request - State: closed - Opened by rosekunkel about 2 years ago - 1 comment

#16 - Add line and column numbers for parse errors

Pull Request - State: closed - Opened by justinyaodu about 2 years ago - 1 comment

#15 - Fix normalization

Pull Request - State: closed - Opened by mb64 about 2 years ago - 3 comments

#14 - Add link to Vim plugin

Pull Request - State: closed - Opened by glapa-grossklag over 2 years ago - 1 comment

#13 - Parse error locations

Issue - State: closed - Opened by ranjitjhala over 2 years ago

#12 - check duplicate identifiers

Pull Request - State: closed - Opened by jevancc over 4 years ago - 1 comment

#11 - Check duplicate definition and evaluation identifiers

Issue - State: closed - Opened by jevancc over 4 years ago

#10 - alpha-rename enables beta-reduction

Issue - State: open - Opened by ranjitjhala over 4 years ago

#9 - stack install command still running after half an hour?

Issue - State: closed - Opened by jakrosh almost 5 years ago - 3 comments

#8 - Oddness with normalization?

Issue - State: closed - Opened by ranjitjhala over 5 years ago

#7 - Couldn't match expected type ‘Int’ with actual type ‘Pos’

Issue - State: closed - Opened by Kyuuhachi over 6 years ago - 2 comments

#6 - remove unused variables in eval.hs

Pull Request - State: closed - Opened by rejectedcode over 6 years ago - 1 comment

#5 - T4

Pull Request - State: closed - Opened by ranjitjhala over 7 years ago

#4 - Beta reduction scoping/alphatizing error

Issue - State: closed - Opened by themattchan over 7 years ago - 2 comments

#3 - So I try to run the snippet code from "Overview section" but apparently there is a bug?

Issue - State: closed - Opened by muyangwu over 7 years ago - 5 comments

#2 - Recursive definitions?

Issue - State: closed - Opened by themattchan over 7 years ago - 1 comment

#1 - add a test

Pull Request - State: closed - Opened by themattchan over 7 years ago - 1 comment

Ecosyste.ms: Issues

GitHub / ucsd-progsys/elsa issues and pull requests