issues
search
evinism
/
lambda-explorer
Tutorial / REPL for the lambda calculus
https://lambdaexplorer.com/
MIT License
61
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Exclude the nameToReplace from valid capture avoidance
#131
anderium
opened
1 month ago
0
fix type in problem 10
#130
2b3o4o
opened
3 months ago
0
Consider swapping input/output colors?
#129
dshemetov
opened
3 months ago
0
A few correct examples that the level doesn't deem correct
#128
dshemetov
opened
3 months ago
0
reproduce weird rename error
#127
evinism
opened
7 months ago
0
Partial application
#126
Easyoakland
opened
9 months ago
1
Issue with Demorgan Definition of AND
#125
stevenhuyn
opened
10 months ago
7
Bump minimist from 1.2.5 to 1.2.8
#124
dependabot[bot]
opened
1 year ago
0
Bump json5 from 1.0.1 to 1.0.2
#123
dependabot[bot]
opened
1 year ago
0
Bump flat and mocha
#122
dependabot[bot]
opened
1 year ago
0
Bump express from 4.17.1 to 4.18.2
#121
dependabot[bot]
opened
1 year ago
0
Bump qs and express
#120
dependabot[bot]
opened
1 year ago
0
Some typos
#119
lakesare
opened
1 year ago
0
Bump decode-uri-component from 0.2.0 to 0.2.2
#118
dependabot[bot]
opened
1 year ago
0
Bump loader-utils from 1.4.0 to 1.4.2
#117
dependabot[bot]
opened
1 year ago
0
Bump terser from 4.8.0 to 4.8.1
#116
dependabot[bot]
opened
2 years ago
0
Bump eventsource from 1.0.7 to 1.1.1
#115
dependabot[bot]
opened
2 years ago
0
Bump async from 2.6.3 to 2.6.4
#114
dependabot[bot]
opened
2 years ago
0
Bump minimist from 1.2.5 to 1.2.6
#113
dependabot[bot]
closed
1 year ago
1
Bump url-parse from 1.5.3 to 1.5.10
#112
dependabot[bot]
opened
2 years ago
0
Bump url-parse from 1.5.3 to 1.5.7
#111
dependabot[bot]
closed
2 years ago
1
Bump follow-redirects from 1.12.1 to 1.14.8
#110
dependabot[bot]
opened
2 years ago
0
Bump pathval from 1.1.0 to 1.1.1
#109
dependabot[bot]
opened
2 years ago
0
Bump follow-redirects from 1.12.1 to 1.14.7
#108
dependabot[bot]
closed
2 years ago
1
Fix typo in problem 15
#107
mawrkus
closed
2 years ago
1
Bump url-parse from 1.4.7 to 1.5.3
#106
dependabot[bot]
closed
3 years ago
0
Bump path-parse from 1.0.6 to 1.0.7
#105
dependabot[bot]
closed
3 years ago
0
Bump ws from 6.2.1 to 6.2.2
#104
dependabot[bot]
closed
3 years ago
0
Bump dns-packet from 1.3.1 to 1.3.4
#103
dependabot[bot]
closed
3 years ago
0
Bump browserslist from 4.13.0 to 4.16.6
#102
dependabot[bot]
closed
3 years ago
0
Bump lodash from 4.17.19 to 4.17.21
#101
dependabot[bot]
closed
3 years ago
0
Bump url-parse from 1.4.7 to 1.5.1
#100
dependabot[bot]
closed
3 years ago
1
Bump ssri from 6.0.1 to 6.0.2
#99
dependabot[bot]
closed
3 years ago
0
Bump y18n from 4.0.0 to 4.0.1
#98
dependabot[bot]
closed
3 years ago
0
Bump elliptic from 6.5.3 to 6.5.4
#97
dependabot[bot]
closed
3 years ago
0
Bump ini from 1.3.5 to 1.3.7
#96
dependabot[bot]
closed
3 years ago
0
Fix bad replace
#95
evinism
closed
4 years ago
1
update types for strict mode, fix a lot of type inference issues
#94
evinism
closed
4 years ago
0
add test for weird rename error
#93
evinism
closed
4 years ago
0
bump all package versions to latest
#92
evinism
closed
4 years ago
0
Problem implementing NOR. Variable capture bug.
#91
15joeybloom
closed
4 years ago
2
Bump lodash from 4.17.11 to 4.17.19
#90
dependabot[bot]
closed
4 years ago
1
Bump websocket-extensions from 0.1.3 to 0.1.4
#89
dependabot[bot]
closed
4 years ago
1
Bump acorn from 6.0.5 to 6.4.1
#88
dependabot[bot]
closed
4 years ago
1
new problem navigation
#87
evinism
closed
5 years ago
0
add in WIP inline definitions
#86
evinism
closed
5 years ago
0
Expand expands below the viewport
#85
bitwombat
opened
5 years ago
0
edit error message for normal form execution exceeded
#84
evinism
closed
5 years ago
0
New tutorial!
#83
evinism
closed
5 years ago
0
Es/parsing question
#82
evinism
closed
5 years ago
0
Next