tag:blogger.com,1999:blog-342493262026-10-12T07:33:20.599+09:00lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.comBlogger534125tag:blogger.com,1999:blog-34249326.post-45659574913962199982026-02-12T22:30:00.002+09:002026-02-12T22:30:32.985+09:00

Using the rocq platform binary installer for Windows: https://rocq-prover.org/install#windows-vscodeTo let rocq know the binary and library directories - $env:COQBIN = "C:\rocq\bin" - $env:ROCQLIB = "C:\rocq\lib\coq"To run rocq everywhere - $env:PATH += ";C:\rocq\bin"I do not understand why this information is not available on the web site of Rocq!

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com0tag:blogger.com,1999:blog-34249326.post-14343710201939127412024-09-29T10:37:00.006+09:002025-01-11T08:48:15.513+09:00

 How to build the Rust implementation of tree-sitter$ sudo ./script/build-wasm  (Note just running the script might go wrong due to the permission error when it attempts to access the docker.)$ curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh  (This installs rustc, the latest rust compiler at ~/.cargo as guided in https://rustup.rs/.)$ source ~/.

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com0tag:blogger.com,1999:blog-34249326.post-56450195858518612532024-02-14T11:42:00.008+09:002024-02-14T11:46:16.253+09:00

 On Windows, I often meet this annoying error: - stack build   ...   commitAndReleaseBuffer: invalid argument (invalid character)   ...This error seems to happen due to a locale setting on Windows. To see what is set for the locale, you can try the following PowerShell commands:  - Get-WinSystemLocale - Set-WinSystemLocale en-USMy locale was

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com2tag:blogger.com,1999:blog-34249326.post-435412138227279812022-01-06T21:17:00.004+09:002022-01-09T19:07:36.370+09:00

Wow! It is exciting to find and fix a space leak in my Haskell program, YAPB - https://github.com/kwanghoon/yapb : Commit #57c03df1. BackgroundAs a background, YAPB is a programmable parser building system based on LALR(1). I have been working on this for a few years. You can directly write parser specifications  in Haskell, not in Happy, Yacc, MLYacc, and so on. Using

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com0tag:blogger.com,1999:blog-34249326.post-47575154774029105502021-10-27T05:42:00.017+09:002022-01-16T21:02:46.406+09:00

Layout rule in Haskell allows programmers to omit writing braces and semicolons in let, where and do by a lexer and a parser who insert them automatically. Here are some references for Haskell layout rule:Section 2.7 for informal introduction and an example of the layout rule.Section 10.3 in Haskell 2010 language report. When I read through the sections, I feel that the layout rule is quite

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com0tag:blogger.com,1999:blog-34249326.post-23666260535723372062021-10-08T22:26:00.004+09:002021-10-08T22:28:00.611+09:00

Here is a short tutorial on how to set up a HTTPS server written in O'Caml using cohttp. Basically, there is a tutorial on writing a HTTP server in the cohttp package that we start with:https://github.com/mirage/ocaml-cohttpStep I. You prepare a certificate file and a key file using opensl as:   $ openssl genrsa -out key.pem   $ openssl req -new -key key.pem -out csr.pem&

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com0tag:blogger.com,1999:blog-34249326.post-75739178495180415182021-06-11T00:43:00.009+09:002023-03-25T22:53:51.502+09:00

I am so happy to find modular Happy packages. Happy is a parser generator system for Haskell, similar to the tool Yacc for C, OCamlYacc for OCaml, and so on. It has been used for generating a GHC's Haskell parser. Since its birth, it has been a monolithic architecture. Now it is time to make it modular so that Happy can be used more than just GHC's Haskell parser. - [PR] Modularize

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com0tag:blogger.com,1999:blog-34249326.post-50290846812866736792021-05-15T22:53:00.007+09:002021-05-15T23:21:12.672+09:00

GHCUP for managing GHC versions - https://qfpl.io/posts/multiple-ghcs-ghcup/When I develop a Haskell project, I use Stack. But some Haskell projects that I am interested in rely on Cabal (BTW, I am still confused by cabal-install, which is a Haskell package name, or by cabal, which is a command-line. Refer to [1]). Alex and Happy are such projects. For those who do not know what

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com0tag:blogger.com,1999:blog-34249326.post-38940188791845433112021-01-19T17:14:00.013+09:002021-02-02T23:32:18.591+09:00

This is a story of buidling GHCJS in Ubuntu 20.04. The GHC version that GHCJS depends on is 8.6.x.  -  https://github.com/ghcjs/ghcjsPreliminaries:  - Download GHC8.6.x binary and Cabal-3.2.0.0 binary in a path accessible by PATH    : https://www.haskell.org/ghc/download.html    : https://www.haskell.org/cabal/download.html - Install

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com0tag:blogger.com,1999:blog-34249326.post-92159991464542974882020-07-08T16:36:00.003+09:002020-07-08T16:39:15.852+09:00

In Haskell, Haskell tool stack is quite difficult at least to me. For example, I want to use a personal library (a pre-release version of a Hackage package) from a stack project  in another stack project. Conceptually, it is simple, but it takes a bit long to find a solution from Stackoverflow. Link to the relevant article in Stackoverflow Here is a summary. In stack.yaml, 

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com0tag:blogger.com,1999:blog-34249326.post-46910754123713818922020-07-04T18:14:00.004+09:002020-07-04T20:00:32.804+09:00

I am still a newbie to Git and GitHub. I have recently started using the notion of branches. In my office, I work on master and working branches, and I always push them to GitHub before I get back home. At my home, I work with my home computer. So I clone the GitHub repository. What I want to do is to work on the working branch and to push whatever I work on at home later. This is what I need

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com0tag:blogger.com,1999:blog-34249326.post-65067239717194863782020-04-27T10:08:00.002+09:002020-04-27T10:10:13.329+09:00

When you have Main.hs with no stack project, how can you build and run it? In old days, I used Hugs or GHCi just to load a single Haskell file without any fancy project configurations. Sometimes the Haskell file required me to install some extra libraries such as network. Then I had only to give Hugs or GHCi an option to inform it of a  path where the libraries reside.  How can

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com0tag:blogger.com,1999:blog-34249326.post-41567975475895404372020-03-28T21:49:00.000+09:002020-03-28T21:49:02.437+09:00

How to count the number of lines of code? You can do it simply by combining a few Linux tools. Suppose you are in a root directory that contains many recursive subdirectories and have Haskell (.hs) source files. $ find . -name "*.hs" -exec wc \{\} \; | cut -c 1-8 | awk 'BEGIN {sum=0} {sum=sum+$0} END {print sum}' END.

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com0tag:blogger.com,1999:blog-34249326.post-86272777290014692832018-05-28T20:51:00.002+09:002018-05-28T20:51:33.879+09:00

This is a quick guideline on Haskell projects using stack. 1. How to build a new project and to run it  - stack new myproject  - cd myproject  - stack build myproject  - stack exec myproject-exe 2. How to load the new project onto Visual Studio code  - stack build intero  - code . 3. How to load the project onto GHCi  - stack ghci

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com1tag:blogger.com,1999:blog-34249326.post-57461746964964464062018-05-27T16:12:00.001+09:002018-05-31T20:33:03.233+09:00

This is a brief guideline to explain how to build the Elm platform on Windows from its source. The guideline is based on the original instruction from https://github.com/elm-lang/elm-platform. 1. Preliminaries 1.1 GHC and Cabal This is for building Elm 0.18 from the source code. It demands GHC 7.10.x and Cabal >=1.1.8, which can be downloaded from  - https://

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com0tag:blogger.com,1999:blog-34249326.post-45178234913958779172018-05-22T16:59:00.001+09:002018-05-22T17:01:36.626+09:00

This is a post about building ghc-mod for Haskell IDEs. To build ghc-mod with  - ghc-8.2.2 needs some manual editing on stack.yaml in your project generated by stack. Here is my edit for a successful build of ghc-mod 5.9.0.0. p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 18.0px Menlo; color: #000000; background-color: #ffffff} span.s1 {font-variant-ligatures: no-common-ligatures}

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com0tag:blogger.com,1999:blog-34249326.post-70707425289717019732018-01-25T17:43:00.001+09:002018-01-25T17:43:17.525+09:00

I found a web site for a guide to write natural deduction proofs in latex. This site should not only be useful for logicians as the web site says, but it must also be useful to programming language people. http://www.logicmatters.net/latex-for-logicians/

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com0tag:blogger.com,1999:blog-34249326.post-52701216269925084182017-03-06T23:05:00.001+09:002017-04-23T10:50:54.405+09:00

I am happy to hear a news about Haskell support on Windows via Visual Studio Code and its extension called Haskelly. These days, my main operating system has been Windows 7 and 10. Linux is for running a web server, and Mac is for an old laptop. My students have extensively used Windows OS. For me to teach Haskell programming, I have no option but to find an appropriate IDE necessarily running

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com0tag:blogger.com,1999:blog-34249326.post-8777468755106455602017-03-06T16:28:00.000+09:002017-03-14T10:38:08.601+09:00

For novice learners, U. of Pennsylvania lecture, Introduction to Haskell  is good : https://www.seas.upenn.edu/~cis194/fall16/ http://haskellbook.com/ Book : Learn you a Haskell for great good http://learnyouahaskell.com/ Middle-level learners may be interested in S. Weirich's lecture, Advanced Programming, which teaches from basic and advanced Haskell programming : http://

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com0tag:blogger.com,1999:blog-34249326.post-18011111183323918692017-02-02T22:46:00.002+09:002017-02-02T22:46:08.465+09:00

When you suddenly find out your mouse wheel make the excel worksheet zoom in and out instead of scrolling it, you can correct it by  - File -> Option -> Advanced -> Zoon On Roll with Intellimouse https://answers.microsoft.com/en-us/msoffice/forum/msoffice_install-mso_other/mouse-wheel-magnifies-instead-of-scrolls/40644484-e043-446d-bee6-52cbb3d4865a

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com0tag:blogger.com,1999:blog-34249326.post-30993641108030414812017-01-27T16:59:00.001+09:002017-01-27T16:59:21.540+09:00

XBlock SDK https://github.com/edx/xblock-sdk XBlock Courseware Components https://github.com/edx/XBlock

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com0tag:blogger.com,1999:blog-34249326.post-84171017233950242602016-10-15T12:24:00.003+09:002016-10-15T13:33:24.114+09:00

This is a checklist on common failures I met when I was trying to install Android Studio and to make the Hello Android program run. 1. Is the path to JDK set up properly? Inside your project, go to File -> Project Structure to pop up a window and then check JDK location inside the SDK Location page. Outside any of your projects, you can also set the same thing in Android Studio main screen

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com6tag:blogger.com,1999:blog-34249326.post-67660915830601622252016-10-01T23:55:00.003+09:002016-10-02T00:01:52.551+09:00

This is a post about using Gradle to build the standard C++ using VC++ compiler in Visual Studio 2015 quickly. I am using Gradle 2.4.7. My source code is the standard C++ as in the following directory structure on Windows:  - myproject  - myproject\src  - myproject\src\main.cpp  - myproject\build.gradle main.cpp is just a Hello world C++ program. I have Visual

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com0tag:blogger.com,1999:blog-34249326.post-67494473404980460012016-09-17T15:30:00.001+09:002016-09-17T15:30:52.360+09:00

The table is excerpted from Microsoft site, which is a bit difficult to find, showing how to input special characters by pressing a consonant and 한자 key in sequence and by selecting a character to type. https://support.microsoft.com/ko-kr/kb/600702 ㄱ 기술 기호(38) ！＇，．／：；？＾＿｀｜￣、... ㄴ 괄호 기호(23) ＂（）［］｛｝''""〔〕〈... ㄷ 학술 기호(48) ＋－＜＝＞±×÷≠≤≥∞∴♂... ㄹ 단위 기호(93) ＄％￦Ｆ′″℃Å￠￡￥¤℉‰... ㅁ 일반 기호(74) ＃＆＊＠§※☆★○●◎◇◆□

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com0tag:blogger.com,1999:blog-34249326.post-26967859889920968672016-07-20T08:37:00.004+09:002016-07-20T08:37:59.339+09:00

Concurrent Programming (Editor: C.A.R. Hoare Oxford University) Logical Foundations of Functional Programming (Editor: Gerard Huet Inria Rocquencourt) Research Topics in Functional Programming (Editor: David Turner University of Kent) Formal Development of Programs and Proofs (Editor: Edsger W. Dijkstra The University of Texas at Austin) Tony Hoare's YoP Institute on concurrency Gries's 

lazyswamphttp://www.blogger.com/profile/04299667946067556171noreply@blogger.com0