Commit 58da9c71 authored by Takenobu Tani's avatar Takenobu Tani

core-spec: Modify `.lhs` to `.hs` (generated PDF)

Modify old filename `.lhs` to `.hs` in following file:

  * docs/core-spec/core-spec.pdf (generated PDF)

[ci skip]
parent 9c0e3e44
Pipeline #795 skipped
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment