Skip to content

DEV Community

Masaki Haga

The Little Standard MLer

Japan Joined on Mar 25, 2020 https://silasol.la

Work

Web engineering

Mar 26 '20

How to Prepare Rational Numbers to Handle Fractions in Standard ML

#standardml #functional

2 min read

Mar 25 '20

How to Creat Executable Commands in Standard ML

#standardml #functional

2 min read

Mar 25 '20

Even though you've been using Emacs for a long time, you usually use arrow keys, you shouldn't edit the file.

#emacs #emacslisp

1 min read

Mar 25 '20

Installing Agda using Stack

#agda #stack #emacs #haskell

1 min read

loading...